A¹ homotopy theory - PDFSEARCH.IO - Document Search Engine

A¹ homotopy theory
Results: 280

#	Item
71	Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-06-20 18:26:54
72	W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2013-07-15 03:56:10
73	Johannes Kepler Research Center Regensburg a Workshop of the DFG Research Group 570 “Algebraic Cycles and L-Functions” Regensburg/Leipzig “Algebraic cycles, motives and A1 -homotopy theory over general bases” Reg Add to Reading List Source URL: www.uni-regensburg.de Language: English
74	Math 205B - Topology Dr. Baez March 09, 2007 Christopher Walker Exercise Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2007-03-10 23:46:00 Algebra Algebraic topology Category theory Fundamental group Seifert–van Kampen theorem Pushout Presentation of a group Homomorphism Abstract algebra Mathematics Homotopy theory
75	Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:37
76	A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-11-12 04:58:44
77	Mathemataeal Notes, Vol. 58, No. 6, 1995 A Test for Compactness Add to Reading List Source URL: www.i.gelbukh.com Language: English - Date: 2014-12-22 19:46:59 Algebraic topology Differential topology Homotopy theory Foliation Diffeomorphism Torus Presentation of a group Fiber bundle Frobenius theorem Abstract algebra Topology Mathematics
78	A Cubical Approach to Synthetic Homotopy Theory Daniel R. Licata Guillaume Brunerie Wesleyan University Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2015-05-19 09:38:12 Homotopy theory Nonassociative algebra Homotopy group Quasigroup Covering space Constructible universe Abstract algebra Topology Mathematics
79	Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Add to Reading List Source URL: mawarren.net Language: English - Date: 2013-08-22 15:46:58 Homotopy theory Algebraic topology Algebraic structures Higher category theory Groupoid Functor Adjoint functors Sheaf Natural transformation Abstract algebra Category theory Mathematics
80	Sample Questions from Past Qualifying Exams This list may give the impression that the exams consist of a series of questions fired at the student one after another. In fact most exams have more the character of a conver Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2007-07-31 15:33:21 Homotopy theory Geometric topology Differential topology Characteristic classes Homotopy group Homotopy Manifold CW complex Fundamental group Topology Abstract algebra Algebraic topology